Books by author Kim G. Larsen

Showing 1 – 9 out of 9 results

1. 

   Quantitative Model-Based Analysis of Real-Time Embedded Systems

   Kim G. Larsen, Jan Tretmans, Brian Nielsen | Springer Netherlands, 2015

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   154.56 €

   Buy
2. 

   Formal Modeling and Analysis of Timed Systems

   Kim G. Larsen, Peter Niebert | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Computer Aided Verification

   Kim G. Larsen, Arne Skou | Springer, Berlin, 1992

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Automata, Languages and Programming

   Kim G. Larsen, Sven Skyum, Glynn Winskel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   109.34 €

   Buy
5. 

   Models, Mindsets, Meta: The What, the How, and the Why Not?

   Susanne Graf, Kim G. Larsen, Tiziana Margaria | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
6. 

   Computer Aided Verification

   Ed Brinksma, Kim G. Larsen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.97 €

   Sale 7 %

   You save 8.63 €

   Buy
7. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 1995

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
8. 

   CONCUR 2001 - Concurrency Theory

   Kim G. Larsen, Mogens Nielsen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
9. 

   Dependable Software Engineering. Theories, Tools, and Applications

   Kim G. Larsen, Oleg Sokolsky, Ji Wang | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy

Free shipping for orders over 59.99 €. Find out more